La herramienta se encarga de ejecutar el modelo sobre un resolutor de restricciones. Actualmente,
el único resolutor de restricciones soportado es Gecode \cite{Gecode}, sin embargo, en versiones posteriores
se podrá el elegir entre los resolutores que la herramienta detecte en el sistema del usuario, y poder así
comparar rendimientos entre resolutores.

la visualización de las soluciones es vía consola. MiniZinc \cite{MiniZinc} permite en sus scripts definir la
presentación de los resultados de las soluciones. Se ha optado por una visualización de diagrama de Gantt, pues
se trata de una representación inherente a los problemas de planificación y asignación de recursos,
al ser muy ilustrativos en cuanto a la solución. Obviamente, la visualización en consola no es todo lo cómoda
que se desearía, sin embargo, en versiones posteriores se creará una interfaz de usuario basada en Qt \cite{Qt} para la
visualización de las soluciones.

Un ejemplo de visualización de solución sería:

{
\scriptsize
\begin{verbatim}
Start times: [0, 5, 12, 5, 7]
End times: [5, 12, 22, 7, 16]
Schedule: resource(task), timeline: (max_time: 22)
r2:    ["t1"] ["t1"] ["t1"] ["t1"] ["t1"] ["t2", "t4"] ["t2", "t4"] ["t2", "t5"] ["t2", "t5"] 
       ["t2", "t5"] ["t2", "t5"] ["t2", "t5"] ["t3", "t5"] ["t3", "t5"] ["t3", "t5"] ["t3", "t5"] 
       ["t3"] ["t3"] ["t3"] ["t3"] ["t3"] ["t3"] - 
r1:    -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  - 
r3:    -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  - 
\end{verbatim}
}

Dónde se pueden ver los instantes de inicio y fin de cada tarea, así cómo un diagrama de Gantt, un poco rudimentario,
en el que se ve en cada instante las tareas que ejecuta un recurso.